#include <stdio.h>

int main()
{
	int day = 0;
	scanf("%d",&day);
	if((day%2 == 0)||day == 7)
	 printf("YES");
	else
	 printf("NO");
	
	return 0;
}
